分散剂FDN对G级油井水泥作用机理探讨

采用液相电导法和酸度法研究了分散剂FDN对G级油井水泥水化速度的影响。发现FDN促进水泥的早期水化,但吸附-络合作用及磺酸根离子对Ca(OH)_2核晶过程的“毒化”作用使后期水化速度减慢。本研究证实ζ电位升高是FDN广生分散作用的主要因素。当FDN的吸附达饱和时,ζ电位达最大值,水泥浆的分散程度最大。     

粘土作为高放废物处置回填材料的可行性研究

本文以西北粘土为对象,对其压实行为、热传导、膨胀特性,以及吸附和渗透性能进行了初步研究,借以探讨西北粘土在高放废物处置中用作回填材料的可行性。试验表明,以西北粘土为基材,经过适当的热改性和吸附改性,在初始含水量约为9%,于70MPa 下成型,用作高放废物处置中的回填材料是可行的。     

一种悬臂式钢管喷印装置及其控制系统

本文介绍了一种用于成品钢管生产线上的悬臂式钢管喷印装置，它是一台结构和功能都较复杂的大型机电一体化设备。文中简介了它的性能、特点和工作原理，对其各部分机械装置的构成及动作以及喷印控制系统的组成和功能进行了较为深入的描述。     

Treatment of Humic Waters By Ozone

Two different generators for ozone were tested, a traditional electrical discharge generator and a generator based upon UV–irradiation of air at 150–180 nm. It was demonstrated that the traditional generator gave slightly higher reductions in levels of color for equivalent ozone dosages. Both gases affected the molecular weight distribution in the way that the bigger molecules were broken down to smaller ones. No significant difference between the molecular weight reduction efficiency of the gases was found.     

天然气管道燃压机组的性能试验及见证

结合西气东输管道工程燃气轮机驱动压缩机组设备订货及验收中对性能试验项目的确定、工厂试验及见证过程,介绍了燃压机组性能试验项目所涉及的主要内容、执行标准、需要达到的技术指标,各种性能试验的基本情况,买方参加工厂试验见证中需要重点处理好的问题等。以期为我国其他大型长输天然气管道机组订货及试验见证工作提供借鉴。     

冶钢小方坯连铸机结晶器液面控制系统故障分析及对策

本文针对某一钢铁厂的一套小方坯连铸机结晶器液面自动控制系统，对其故障原因进行了深入分析，指出导致系统控制性能达不到设计要求长期无法投入运行的主要原因，并提出了相应的解决方法。     

等压灌注中液位控制影响因素及对策

通过分析等压灌注中影响液位的波动因素，找出关键控制点，并采取措施，以减少产品的液位波动。     

A New Approach to Abstract Syntax with Variable Binding

The permutation model of set theory with atoms (FM-sets), devised by Fraenkel and Mostowski in the 1930s, supports notions of ‘name-abstraction’ and ‘fresh name’ that provide a new way to represent, compute with, and reason about the syntax of formal systems involving variable-binding operations. Inductively defined FM-sets involving the name-abstraction set former (together with Cartesian product and disjoint union) can correctly encode syntax modulo renaming of bound variables. In this way, the standard theory of algebraic data types can be extended to encompass signatures involving binding operators. In particular, there is an associated notion of structural recursion for defining syntax-manipulating functions (such as capture avoiding substitution, set of free variables, etc.) and a notion of proof by structural induction, both of which remain pleasingly close to informal practice in computer science. Received October 2000 / Accepted in revised form April 2001